add_file_target(FILE mux2.sim.v SCANNER_TYPE verilog)
v2x(NAME mux2 SRCS mux2.sim.v)
